Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
101	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
102	usermanual-LINKASE-iphone5-WEB Add to Reading List Source URL: www.absolute.com.tw Language: English - Date: 2013-06-18 19:38:31 Abstract data types IOS Smartphones Stack Bandwidth Computing Electronics Apple Inc. IPhone
103	Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:30 Scheduling algorithms Mathematics Concurrency control Cybernetics FIFO Inter-process communication Linearizability Linked list Scheduling Abstract data types Computing Concurrent computing
104	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
105	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.inf.usi.ch Language: English - Date: 2013-11-23 22:50:11 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
106	The Transfer Syntax Notation One Specification Add to Reading List Source URL: www.protomatics.com Language: English - Date: 2015-06-04 00:52:30 Notation Abstract Syntax Notation One Encoding Control Notation Basic Encoding Rules Literal Distinguished Encoding Rules Canonical Encoding Rules Enumerated type Floating point Computing Software engineering Data types
107	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: wiki.t-o-f.info Language: English - Date: 2012-01-05 14:13:29 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
108	ScrollMate ScrollMate • Animate Trigger: (select) Set the animation range: "Top Edge": From when the top of the Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2015-04-12 08:21:04 Notation Stack Cartesian coordinate system Cascading Style Sheets HTML element G-code Computing Abstract data types Mathematics
109	Safety, Security, and Object-Oriented Programming Franco Gasperoni AdaCore, 8 rue de Milan, 75009 Paris, France Abstract Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:01:04 Object-oriented programming Method Cross-platform software Data types Virtual method table Objective-C Ada Dynamic dispatch Library Software engineering Computing Computer programming
110	Abstract A course on scientific computation with fortran. 1 An Elementary Course on Scientific Add to Reading List Source URL: www.nordita.org Language: English - Date: 2015-03-31 03:14:58 Procedural programming languages Array programming languages Data types Computer arithmetic Primitive types Fortran Floating point C Factorial Computing Software engineering Computer programming